写成向量形式即为
. 且有
从而得证.